Skip to content

Conversation

@japaric
Copy link
Collaborator

@japaric japaric commented Feb 6, 2019

No description provided.

@japaric
Copy link
Collaborator Author

japaric commented Feb 6, 2019

bors r+

bors bot added a commit that referenced this pull request Feb 6, 2019
9: v0.1.0 r=japaric a=japaric



Co-authored-by: Jorge Aparicio <jorge@japaric.io>
@bors
Copy link
Contributor

bors bot commented Feb 6, 2019

Build succeeded

@bors bors bot merged commit 774e47d into master Feb 6, 2019
@japaric japaric deleted the release branch February 6, 2019 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants